Use the private GdkKeyEvent.translated_key getter
authorEmmanuele Bassi <ebassi@gnome.org>
Fri, 22 May 2020 11:37:37 +0000 (12:37 +0100)
committerEmmanuele Bassi <ebassi@gnome.org>
Sun, 24 May 2020 14:19:01 +0000 (15:19 +0100)
commitd68e312c2b7b2679f7ee3d835d0d378eeb6704a6
tree2d8c01935b35c9cc54aea7531992d429f3b9aced
parent0cf5b66e7b0fda0857f18be602184e2891d9b6ae
Use the private GdkKeyEvent.translated_key getter

We can avoid poking directly at the GdkKeyEvent structure, now.
gtk/gtkmain.c